(mathematics) a definition of a function from which values of the function can be calculated in a finite number of steps